Modeling and Validation of Mobile Agents on the Web

نویسندگان

  • Min-Jung YOO
  • Walter MERLAT
  • Jean-Pierre BRIOT
چکیده

This paper presents compositional modeling and simulation techniques applied to the design of electronic commerce systems on the Web. We discuss an agent-based approach for designing open distributed systems, and propose a compositional modeling technique for agents behaviors using reusable components. We apply this technique to the design of a Travel Agency Service using the Contract Net Protocol [Smith 80]. Domain specific components are programmed in Java and cooperating components for the Contract Net protocol are expressed in a variant of Petri nets. Specification of components is automatically translated into a mobile agent platform (Java language environment) so as to execute the agents. Validation then takes place through simulation and various kinds of analysis of the Petri nets. 1. Open Cooperative Systems The Internet, on-line networks, and groupwares promoted the development of Open and Distributed Cooperative Systems (ODCS), which are composed of a collection of application softwares (personal organizers, DBMS, ...) that cooperate together so as to satisfy customers’ needs. 1.1 The Travel Agency Let’s consider our test application the Travel Agency Service System. It provides customers with full featured travel service reservations, including hotel stays and car rentals. A Travel Agency application (TA) acts as a facilitator for service providers composing the system : travel servers (e.g., Air France, TWA, etc.), rent-a-car servers (e.g. Hertz), « hotels» servers (Novotel, Hilton, etc.), etc. Customers issue requests to the TA, concerning reservations for specific travels. The TA plans each travel service by contracting out a set of «base services» (train or plane trips, hotel stays, car rentals) to service providers. For example, let’s assume a request for a travel from Bordeaux (France) to New York (USA). The TA decomposes by ticketing for rail-road (from Bordeaux to Paris) and flight (from Paris to NY), and hotel reservation (in Paris and in NY), etc. The rail-road service may be contracted out to the French SNCF, the flight service to AirFrance, and the hotel reservations to Novotel in Paris and to Hilton in NY. These services providers have to cooperate so as to (1) find compatible schedules for services (i.e. at Paris stop), and (2) adapt these schedules in case of a modification occurring to one service (e.g. a flight is delayed, or a train is canceled). Our purpose is to design ODCS that are faulttolerant, scaleable and work in heterogeneous environment. In section 1.2, we analyze this problem and propose our solutions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Molecular Modeling Studies on Vinblastine Binding Site of Tubulin for Antimitotic agents

Medicinal chemistry depends on many other disciplines ranging from organic chemistry andpharmacology to computational chemistry. Typically medicinal chemists use the moststraightforward ways to prepare compounds. The validation of any design project comes from thebiological testing.Studies of the binding site of vinblastine by a single cross—linking experiment identified it asbeing between resi...

متن کامل

High Fuzzy Utility Based Frequent Patterns Mining Approach for Mobile Web Services Sequences

Nowadays high fuzzy utility based pattern mining is an emerging topic in data mining. It refers to discover all patterns having a high utility meeting a user-specified minimum high utility threshold. It comprises extracting patterns which are highly accessed in mobile web service sequences. Different from the traditional fuzzy approach, high fuzzy utility mining considers not only counts of mob...

متن کامل

Design and Evaluation of a Method for Partitioning and Offloading Web-based Applications in Mobile Systems with Bandwidth Constraints

Computation offloading is known to be among the effective solutions of running heavy applications on smart mobile devices. However, irregular changes of a mobile data rate have direct impacts on code partitioning when offloading is in progress. It is believed that once a rate-adaptive partitioning performed, the replication of such substantial processes due to bandwidth fluctuation can be avoid...

متن کامل

Effect of levels of realism of mobile-based pedagogical agents on health e-learning

Background: One of the ways for effective communication between learners and instructional multimedia content in mobile learning systems is taking advantage of characters or pedagogical agents. The present study aimed to investigate the effect of the levels of realism in mobile-based pedagogical agents on health e-learning. Methods: The s...

متن کامل

ارائه یک رویکرد همانند سازی شده عامل محور در اجرای یک الگوی کد متحرک مطمئن

Abstract Using mobile agents, it is possible to bring the code close to the resources, which is not foreseen by the traditional client/server paradigm. Compared to the client/server computing paradigm, the greater flexibility of the mobile agent paradigm comes at additional costs as well as the additional complexity of developing and managing mobile agent-based applications. Such complexity ...

متن کامل

A Formal Petri Net Based Model for Antivirus Update Agent System

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998